LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton which represents the control of the program. Formal rules for program transformation are also presented
The compilation of synchronous block diagrams into sequential imperative code has been addressed in ...
AbstractIn this paper, systems which interact permanently with their environment are considered. Suc...
We present a new way to define the semantics of imperative synchronous languages by means of separat...
This paper describes the language LUSTRE which is a data flow synchronous language, designed for pro...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primi...
Le langage est conçu de manière à permettre une interprétation synchrone des suites. La nature du la...
Best paper award.International audienceEfficiently distributing synchronous programs is a challengin...
141 pagesThis thesis presents the production of sequential code from the dataflow synchronous langua...
Editor: Abstract. Synchronous programming is available through several formally defined languages ha...
A system is said to be reactive if it interacts continuously with an environment, at a speed imposed...
International audienceSpecifications based on block diagrams and state machines are used to design c...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
AbstractWe present the Esterel programming language which is especially designed to program reactive...
This paper presents an extension of a synchronous data-flow language such as Lustre with imperative ...
The compilation of synchronous block diagrams into sequential imperative code has been addressed in ...
AbstractIn this paper, systems which interact permanently with their environment are considered. Suc...
We present a new way to define the semantics of imperative synchronous languages by means of separat...
This paper describes the language LUSTRE which is a data flow synchronous language, designed for pro...
The paper introduces a higher-order synchronous data-flow language in which communication channels m...
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primi...
Le langage est conçu de manière à permettre une interprétation synchrone des suites. La nature du la...
Best paper award.International audienceEfficiently distributing synchronous programs is a challengin...
141 pagesThis thesis presents the production of sequential code from the dataflow synchronous langua...
Editor: Abstract. Synchronous programming is available through several formally defined languages ha...
A system is said to be reactive if it interacts continuously with an environment, at a speed imposed...
International audienceSpecifications based on block diagrams and state machines are used to design c...
Synchronous programming languages are programming languages with an abstract (logical) notion of tim...
AbstractWe present the Esterel programming language which is especially designed to program reactive...
This paper presents an extension of a synchronous data-flow language such as Lustre with imperative ...
The compilation of synchronous block diagrams into sequential imperative code has been addressed in ...
AbstractIn this paper, systems which interact permanently with their environment are considered. Suc...
We present a new way to define the semantics of imperative synchronous languages by means of separat...
Add to ORKG